AVIACC
Analysis and Verification of Critical Concurrent Programs
Cancel
Search
:
^d
Research/Aviacc Web
Changed
Changed by
Description
20 Feb 2013 - 11:22 - r2
JorgeSousaPinto
Motivation In a brief comparison of software model checking with deductive verification techniques for the purpose of verifying concurrent software, we stress the ...
Found
1
topics.
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM